Models of deterministic systems

specifications and models of deterministic hybrid systems

Coalgebraic speciication and semantics, as used earlier for object-oriented programming, is extended with temporal aspects. The (non-temporal) expression s:meth expressing that method meth is applied in state s is extended to an expression s:meth@, where is a time parameter. It means: in state s let the state evolve for units of time, and then apply method meth. With this formalism we specify v...

Tabular Documentation of Interactive Deterministic Systems derived from Algebraic Models

Many reactive deterministic systems have a simple algebraic model consisting of a set S of states, a set C of commands the system may receive and a state transition function n : S C ! S that can be extended to operate over streams. We study decompositions of the state transition function using de nition-by-cases organised around mode sets and system actions. We show how these decompositions can...

Coalgebraic Speci cations and Models of deterministic Hybrid Systems

Coalgebraic speciication and semantics, as used earlier for object-oriented programming, is extended with temporal aspects. The (non-temporal) expression s:meth expressing that method meth is applied in state s is extended to an expression s:meth@, where is a time parameter. It means: in state s let the state evolve for units of time, and then apply method meth. With this formalism we specify v...

Deterministic and Non-Deterministic Stable Models

Testing Non-deterministic Stream X-machine Models and P systems

Under certain well defined conditions, the stream X-machine testing method can produce a test set that is guaranteed to determine the correctness of an implementation. The testing method has originally assumed that an implementation of each processing function or relation is proven to be correct before the actual testing can take place. Such a limitation has been removed in a subsequent paper, ...